Mô phỏng máy tính cho thấy những hành tinh bên ngoài và vành đai Kuiper: a) trước khi Sao Mộc và Sao Thổ đạt cộng hưởng quỹ đạo 2:1; b) các vật thể trong vành đai Kuiper thu hẹp quỹ đạo dần về phía Mặt Trời trong khi Sao Thiên Vương và Sao Hải Vương dịch chuyển quỹ đạo ra bên ngoài; c) sau một thời gian dài Sao Mộc làm lệch hoặc đẩy các vật thể trong vành đai Kuiper ra xa.

Sự hình thành các hành tinh băng đá khổng lồ, Sao Thiên Vương và Sao Hải Vương, mà các nhà khoa học rất khó có thể mô hình hóa một cách chính xác. Những mô hình hiện tại chỉ ra mật độ vật chất ở vùng bên ngoài Hệ Mặt Trời là quá thấp để hình thành lên những vật thể lớn từ phương pháp truyền thống chấp nhận bởi đa số đó là lõi bồi tụ, và người ta đã đưa ra nhiều giả thuyết nhằm giải thích sự hình thành của các hành tinh băng đá. Một giả thuyết đó là các hành tinh này không tạo ra từ sự bồi tụ lõi mà từ quá trình bất ổn định bên trong đĩa tiền hành tinh nguyên thủy, và sau đó bầu khí quyển của chúng bị bức xạ mạnh của những ngôi sao OB thổi bay đi (khi Hệ Mặt Trời hình thành, nó ở trong một đám mây phân tử mà xung quanh có rất nhiều ngôi sao mới đã và đang hình thành, theo thời gian Mặt Trời quay quanh Ngân Hà và dần rời xa đám mây nguyên thủy này).[109]

Một giả thuyết khác đó là các hành tinh băng đá hình thành gần Mặt Trời hơn, nơi có mật độ vật chất cao hơn, và sau đó hành tinh di trú ra quỹ đạo bên ngoài như hiện tại sau khi đã lấy đi khí trong đĩa tiền hành tinh nguyên thủy.[110] Các nhà thiên văn cũng rất quan tâm tới giả thuyết di trú hành tinh, bởi vì khả năng của mô hình giải thích tốt hơn sự có mặt của nhiều vật thể nhỏ trong vùng ngoài quỹ đạo Sao Hải Vương.[111] Mô hình hiện tại được chấp nhận nhiều nhất[112][113][114] trong giải thích chi tiết sự hình thành các hành tinh băng đá đó là mô hình Nice, nó giải thích sự di trú của Sao Hải Vương và những hành tinh khí khổng lồ khác cũng như cấu trúc của vành đai Kuiper.